resolution proof tree meaning in Chinese

分解证明树

Many people research how to find value of y from resolution proof trees
有许多人研究从归结证明树确定y的值的方法。
It extracts process information from the proof tree by analyzing every node of resolution proof tree to extract procedure . and the partial correctness of the extracted procedure is proved
这一方法的特点是，抽取算法的时间、空间复杂度都是线性的，并且抽取算法本身十分简单，易于实现。